#include <iostream>
#include <cstdio>
using namespace std;
typedef long long LL;
int main(int argc, char** argv) {
    LL n,m;
    cin>>n>>m;
    cout<<(n/2*m)<<endl;
    return 0;
}
